A lattice for abstract interpretation of dynamic (LISP-like) structures
نویسندگان
چکیده
منابع مشابه
investigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
Abstract Interpretation over Non-lattice Abstract Domains
Interpretation over Non-Lattice Abstract Domains Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, and Peter J. Stuckey Department of Computing and Information Systems, The University of Melbourne, Victoria 3010, Australia {gkgange,jorge.navas,schachte,harald,pstuckey}@unimelb.edu.au Abstract. The classical theoretical framework for static analysis of programs is abstract interp...
متن کاملA dynamic lattice model for heterogeneous materials
In this paper, the mechanical behavior of three-phase inhomogeneous materials is modeled using the meso-scale model with lattice beams for static and dynamic analyses. The Timoshenko beam theory is applied instead of the classical Euler-Bernoulli beam theory and the mechanical properties of lattice beam connection are derived based on the continuum medium using the non-local continuum theory. T...
متن کاملAbstract Interpretation by Dynamic Partitioning
The essential part of abstract interpretation is to build a machine-representable abstract domain expressing interesting properties about the possible states reached by a program at run-time. Many techniques have been developed which assume that one knows in advance the class of properties that are of interest. There are cases however when there are no a priori indications about the “best” abst...
متن کاملa dynamic lattice model for heterogeneous materials
in this paper, the mechanical behavior of three-phase inhomogeneous materials is modeled using the meso-scale model with lattice beams for static and dynamic analyses. the timoshenko beam theory is applied instead of the classical euler-bernoulli beam theory and the mechanical properties of lattice beam connection are derived based on the continuum medium using the non-local continuum theory. t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1992
ISSN: 0890-5401
DOI: 10.1016/0890-5401(92)90076-r